1 % Style definition file generated by highlight 2.16, http://www.andre-simon.de/
3 % Highlighting theme definition:
5 \newcommand{\hlstd}[1]{\textcolor[rgb
]{0,
0,
0}{#1}}
6 \newcommand{\hlnum}[1]{\textcolor[rgb
]{0,
0,
0}{#1}}
7 \newcommand{\hlesc}[1]{\textcolor[rgb
]{0,
0,
0}{#1}}
8 \newcommand{\hlstr}[1]{\textcolor[rgb
]{0,
0,
0}{#1}}
9 \newcommand{\hldstr}[1]{\textcolor[rgb
]{0,
0,
0}{#1}}
10 \newcommand{\hlslc}[1]{\textcolor[rgb
]{0.4,
0.4,
0.4}{\it{#1}}}
11 \newcommand{\hlcom}[1]{\textcolor[rgb
]{0.4,
0.4,
0.4}{\it{#1}}}
12 \newcommand{\hldir}[1]{\textcolor[rgb
]{0,
0,
0}{\bf{#1}}}
13 \newcommand{\hlsym}[1]{\textcolor[rgb
]{0,
0,
0}{\bf{#1}}}
14 \newcommand{\hlline}[1]{\textcolor[rgb
]{0.53,
0.53,
0.53}{#1}}
15 \newcommand{\hlkwa}[1]{\textcolor[rgb
]{0,
0,
0}{\bf{#1}}}
16 \newcommand{\hlkwb}[1]{\textcolor[rgb
]{0,
0,
0}{\bf{#1}}}
17 \newcommand{\hlkwc}[1]{\textcolor[rgb
]{0,
0,
0}{\bf{#1}}}
18 \newcommand{\hlkwd}[1]{\textcolor[rgb
]{0,
0,
0}{\bf{#1}}}
19 \definecolor{bgcolor
}{rgb
}{1,
1,
1}